Canonical Forms For State–Space Descriptions
نویسندگان
چکیده
منابع مشابه
Subdiagonal pivot structures and associated canonical forms under state isometries
Many normalizations in various classes of linear dynamical state-space systems lead to system representations which are determined up to a state isometry. Here we present a new set of techniques to obtain (local) canonical forms under state isometries, using what we call sub-diagonal pivot structures. These techniques lead to a very flexible, straightforward algorithm to put any system into can...
متن کاملCanonical lossless state-space systems: staircase forms and the Schur algorithm
A new finite atlas of overlapping balanced canonical forms for multivariate discrete-time loss-less systems is presented. The canonical forms have the property that the controllability matrix ispositive upper triangular up to a suitable permutation of its columns. This is a generalization of asimilar balanced canonical form for continuous-time lossless systems. It is shown that this...
متن کاملUsing Canonical Forms for Isomorphism Reduction in Graph-based Model Checking
Graph isomorphism checking can be used in graph-based model checking to achieve symmetry reduction. Instead of one-to-one comparing the graph representations of states, canonical forms of state graphs can be computed. These canonical forms can be used to store and compare states. However, computing a canonical form for a graph is computationally expensive. Whether computing a canonical represen...
متن کاملState spaces of $K_0$ groups of some rings
Let $R$ be a ring with the Jacobson radical $J(R)$ and let $picolon Rto R/J(R)$ be the canonical map. Then $pi$ induces an order preserving group homomorphism $K_0picolon K_0(R)to K_0(R/J(R))$ and an affine continuous map $S(K_0pi)$ between the state space $St(R/J(R))$ and the state space $St(R).$ In this paper, we consider the natural affine map $S(K_0pi).$ We give a condition ...
متن کاملAnalysis of Power Electronic Converters Using the Developed State Space Averaging Method
Power electronic converters are non-linear time-dependent systems whose exact analysis without the use of computers is very difficult, and even using computer softwares requires a long time. Use of the state space averaging method, as will be mentioned, in addition to simplifying the analysis procedure which is a result of converting a time-dependent system to a time-independent one, reduces th...
متن کامل